2
ゲーデルと20世紀の論理学 1 : ゲーデルの20世紀

ゲーデルと20世紀の論理学 1 : ゲーデルの20世紀

田中 一之
Năm:
2006
Ngôn ngữ:
japanese
File:
PDF, 37.98 MB
5.0 / 5.0
japanese, 2006
3
ゲーデルと20世紀の論理学 3 : 不完全性定理と算術の体系

ゲーデルと20世紀の論理学 3 : 不完全性定理と算術の体系

田中 一之
Năm:
2007
Ngôn ngữ:
japanese
File:
PDF, 44.52 MB
0 / 4.5
japanese, 2007
4
ゲーデルと20世紀の論理学 2 : 完全性定理とモデル理論

ゲーデルと20世紀の論理学 2 : 完全性定理とモデル理論

田中 一之
Năm:
2006
Ngôn ngữ:
japanese
File:
PDF, 40.10 MB
0 / 5.0
japanese, 2006
6
ゲーデルと20世紀の論理学 4 : 集合論とプラトニズム

ゲーデルと20世紀の論理学 4 : 集合論とプラトニズム

田中 一之
Năm:
2007
Ngôn ngữ:
japanese
File:
PDF, 51.19 MB
5.0 / 5.0
japanese, 2007
7
ゲーデルに挑む 証明不可能なことの証明

ゲーデルに挑む 証明不可能なことの証明

田中 一之
Năm:
2012
Ngôn ngữ:
japanese
File:
PDF, 37.57 MB
5.0 / 5.0
japanese, 2012
8
数学基礎論講義―不完全性定理とその発展

数学基礎論講義―不完全性定理とその発展

田中 一之, 鹿島 亮, 角田 法也, 菊池 誠
Năm:
1997
Ngôn ngữ:
japanese
File:
PDF, 29.70 MB
0 / 5.0
japanese, 1997
9
数学の基礎をめぐる論争―21世紀の数学と数学基礎論のあるべき姿を考える

数学の基礎をめぐる論争―21世紀の数学と数学基礎論のあるべき姿を考える

田中 一之
Năm:
1999
Ngôn ngữ:
japanese
File:
PDF, 45.32 MB
0 / 4.5
japanese, 1999
10
確かさを求めて : 数学の基礎についての哲学論考

確かさを求めて : 数学の基礎についての哲学論考

Marcus Giaquinto, 田中 一之
Năm:
2007
Ngôn ngữ:
japanese
File:
PDF, 64.23 MB
5.0 / 5.0
japanese, 2007
11
ゲーデルの定理 利用と誤用の不完全ガイド

ゲーデルの定理 利用と誤用の不完全ガイド

Torkel Franzen, トルケル・フランセーン, 田中 一之
Năm:
2011
Ngôn ngữ:
japanese
File:
PDF, 46.05 MB
5.0 / 5.0
japanese, 2011
12
逆数学と2階算術

逆数学と2階算術

田中 一之
Năm:
1997
Ngôn ngữ:
japanese
File:
PDF, 14.53 MB
0 / 5.0
japanese, 1997
14
数の体系と超準モデル

数の体系と超準モデル

田中 一之
Năm:
2002
Ngôn ngữ:
japanese
File:
PDF, 44.63 MB
0 / 5.0
japanese, 2002
15
窮理 第10号

窮理 第10号

梶田隆章 & 原康夫 & 高木隆司 & 前中一晃 & 井元信之 & 伊藤憲二 & 細川光洋 & 尾関章 & 佐藤文隆 & 川島禎子
Năm:
2018
Ngôn ngữ:
japanese
File:
EPUB, 1.21 MB
0 / 0
japanese, 2018